3141. Theoretical computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses. ;
3142. Theoretical computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses. ;
3143. Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, proceedings
Author: J. van Leeuwen...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
1872
3144. Theoretical computer science : fifth Italian Conference on Theoretical Computer Science, Villa Rufolo, Ravello, Italy, November 9-11, 1995
Author: editor Alfedo De Santis
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Congresses
Classification :
QA
75
.
5
.
T53
1995
3145. Theoretical computer science : proceedings of the fourth Italian Conference : L Aquila , Italy 28-30 October 1992
Author: editors A. Marchetti Spaccamela, P. Mentrasti, M. Venturini Zilli
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Congresses
Classification :
QA
75
.
5
.
T53
1992
3146. Theoretical computer science : proceedings of the third Italian Conference : Mantova, 2-4 November 1989
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses
Classification :
QA
75
.
5
.
T53
1989
3147. Theoretical computer science: proceedings of the third Italian Conference , Mantova, 2-4 November 1989
Author: edited by A. Bertoni, C. Bohm, P. Miglioli
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
75
.
5
.
I83
1989
3148. Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
Author: edited by A.B. Cremers and H.P. Kriegel
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L4
v
.
145
3149. Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981
Author: edited by Peter Deussen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L4
v
.
104
3150. Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings
Author: Carlo Blundo, Cosimo Laneve )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2841
3151. Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
Author: Mario Coppo, Elena Lodi, G. Michele Pinna )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
3701
3152. Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
Author: Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2202
3153. Theory and Applications of Formal Argumentation.
Author: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
9
.
T46
2015
E-Book
,
3154. Theory and Applications of Models of Computation
Author: \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,پیچیدگی محاسباتی -- کنگره ها
Classification :
QA
76
.
9
.
M35T46
2015
E-Book
,
3155. Theory and Practice of Model Transformations
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model-driven software architecture -- Congresses,Computer science,Computer Communication Networks,علوم کامپیوتر,شبکههای ارتباطی کامپیوتری
Classification :
E-Book
,
3156. Theory and applications of models of computation :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
3157. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
3158. Theory and applications of models of computation
Author: Mitsunori Ogihara, Jun Tarui (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer science, Congresses.
3159. Theory and applications of models of computation :
Author: T.V. Gopal, Junzo Watada (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
Classification :
QA76
.
9
.
M35
T35
2019eb
3160. Theory and formal methods of computing 94
Author: / editors, C. Hankin, I. Mackie, R. Nagarajan,original title: At head of title: Imperial College, Department of Computing..
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer science--Congresses,Formal methods (Computer science)--Congresses
Classification :
QA75
.
5
.
T525
1995
